Extensions 1→N→G→Q→1 with N=C₂²xDic₅ and Q=C₂²

Direct product G=NxQ with N=C₂²xDic₅ and Q=C₂²

		d	ρ	Label	ID
C₂⁴xDic₅		320		C2^4xDic5	320,1626

Semidirect products G=N:Q with N=C₂²xDic₅ and Q=C₂²

extension	φ:Q→Out N	d	ρ	Label	ID
(C₂²xDic₅):₁C₂² = C₂³.₅D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5):1C2^2	320,369
(C₂²xDic₅):₂C₂² = C₂⁴.₄₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):2C2^2	320,582
(C₂²xDic₅):₃C₂² = 2₊¹⁺⁴.₂D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5):3C2^2	320,870
(C₂²xDic₅):₄C₂² = C₂⁵.₂D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):4C2^2	320,874
(C₂²xDic₅):₅C₂² = C₂⁴.₂₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):5C2^2	320,1158
(C₂²xDic₅):₆C₂² = C₂xC₂²:D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):6C2^2	320,1159
(C₂²xDic₅):₇C₂² = C₂³:₃D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):7C2^2	320,1165
(C₂²xDic₅):₈C₂² = C₄²:₁₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):8C2^2	320,1217
(C₂²xDic₅):₉C₂² = D₄:₅D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):9C2^2	320,1226
(C₂²xDic₅):₁₀C₂² = C₂⁴.₅₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):10C2^2	320,1258
(C₂²xDic₅):₁₁C₂² = C₂⁴.₃₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):11C2^2	320,1259
(C₂²xDic₅):₁₂C₂² = C₂⁴:₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):12C2^2	320,1261
(C₂²xDic₅):₁₃C₂² = C₂⁴:₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):13C2^2	320,1262
(C₂²xDic₅):₁₄C₂² = C₂⁴.₃₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):14C2^2	320,1263
(C₂²xDic₅):₁₅C₂² = C₂⁴.₃₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):15C2^2	320,1264
(C₂²xDic₅):₁₆C₂² = C₂⁴.₃₅D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):16C2^2	320,1265
(C₂²xDic₅):₁₇C₂² = C₂⁴.₃₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):17C2^2	320,1267
(C₂²xDic₅):₁₈C₂² = C₁₀.₃₇2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):18C2^2	320,1277
(C₂²xDic₅):₁₉C₂² = C₄:C₄:₂₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):19C2^2	320,1278
(C₂²xDic₅):₂₀C₂² = C₁₀.₄₀2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):20C2^2	320,1282
(C₂²xDic₅):₂₁C₂² = C₁₀.₄₂2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):21C2^2	320,1285
(C₂²xDic₅):₂₂C₂² = C₁₀.₄₆2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):22C2^2	320,1289
(C₂²xDic₅):₂₃C₂² = C₁₀.₄₈2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):23C2^2	320,1292
(C₂²xDic₅):₂₄C₂² = C₁₀.₁₂₁2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):24C2^2	320,1326
(C₂²xDic₅):₂₅C₂² = C₄:C₄:₂₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):25C2^2	320,1328
(C₂²xDic₅):₂₆C₂² = C₁₀.₁₂₂2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):26C2^2	320,1330
(C₂²xDic₅):₂₇C₂² = C₄²:₂₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):27C2^2	320,1350
(C₂²xDic₅):₂₈C₂² = C₄²:₂₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):28C2^2	320,1351
(C₂²xDic₅):₂₉C₂² = C₄²:₂₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):29C2^2	320,1387
(C₂²xDic₅):₃₀C₂² = C₄²:₂₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):30C2^2	320,1392
(C₂²xDic₅):₃₁C₂² = C₂⁴.₃₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):31C2^2	320,1470
(C₂²xDic₅):₃₂C₂² = C₂xC₂³:D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):32C2^2	320,1471
(C₂²xDic₅):₃₃C₂² = D₄xC₅:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):33C2^2	320,1473
(C₂²xDic₅):₃₄C₂² = C₂⁴:₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):34C2^2	320,1476
(C₂²xDic₅):₃₅C₂² = C₂⁴.₄₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):35C2^2	320,1478
(C₂²xDic₅):₃₆C₂² = C₁₀.₁₄₅2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):36C2^2	320,1501
(C₂²xDic₅):₃₇C₂² = C₂xC₂⁴:₂D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):37C2^2	320,1512
(C₂²xDic₅):₃₈C₂² = C₂xD₄:₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5):38C2^2	320,1614
(C₂²xDic₅):₃₉C₂² = D₂₀.₃₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5):39C2^2	320,1623
(C₂²xDic₅):₄₀C₂² = C₂xD₅xC₂²:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):40C2^2	320,1156
(C₂²xDic₅):₄₁C₂² = C₂xDic₅:₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):41C2^2	320,1157
(C₂²xDic₅):₄₂C₂² = C₂xC₂².D₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):42C2^2	320,1164
(C₂²xDic₅):₄₃C₂² = C₄xD₄xD₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):43C2^2	320,1216
(C₂²xDic₅):₄₄C₂² = D₅xC₄:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):44C2^2	320,1276
(C₂²xDic₅):₄₅C₂² = D₅xC₂².D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):45C2^2	320,1324
(C₂²xDic₅):₄₆C₂² = C₂²xD₁₀:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):46C2^2	320,1459
(C₂²xDic₅):₄₇C₂² = C₂xD₄xDic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):47C2^2	320,1467
(C₂²xDic₅):₄₈C₂² = C₂xC₂³.₁₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):48C2^2	320,1468
(C₂²xDic₅):₄₉C₂² = C₂xDic₅:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):49C2^2	320,1474
(C₂²xDic₅):₅₀C₂² = C₂²xC₂³.D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):50C2^2	320,1511
(C₂²xDic₅):₅₁C₂² = C₂²xD₄xD₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):51C2^2	320,1612
(C₂²xDic₅):₅₂C₂² = C₂²xD₄:₂D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):52C2^2	320,1613
(C₂²xDic₅):₅₃C₂² = C₂xD₅xC₄oD₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5):53C2^2	320,1618
(C₂²xDic₅):₅₄C₂² = C₂³xC₅:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5):54C2^2	320,1627
(C₂²xDic₅):₅₅C₂² = D₅xC₂³xC₄	φ: trivial image	160		(C2^2xDic5):55C2^2	320,1609

Non-split extensions G=N.Q with N=C₂²xDic₅ and Q=C₂²

extension	φ:Q→Out N	d	ρ	Label	ID
(C₂²xDic₅).₁C₂² = (C₂xC₂₀):Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).1C2^2	320,273
(C₂²xDic₅).₂C₂² = C₁₀.₄₉(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).2C2^2	320,274
(C₂²xDic₅).₃C₂² = C₅:₂(C₄²:₈C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).3C2^2	320,277
(C₂²xDic₅).₄C₂² = C₂.(C₄xD₂₀)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).4C2^2	320,280
(C₂²xDic₅).₅C₂² = C₄:Dic₅:₁₅C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).5C2^2	320,281
(C₂²xDic₅).₆C₂² = (C₂xDic₅):Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).6C2^2	320,283
(C₂²xDic₅).₇C₂² = C₂.(C₂₀:Q₈)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).7C2^2	320,284
(C₂²xDic₅).₈C₂² = (C₂xDic₅).Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).8C2^2	320,285
(C₂²xDic₅).₉C₂² = (C₂xC₂₀).₂₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).9C2^2	320,286
(C₂²xDic₅).₁₀C₂² = (C₂xC₄).Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).10C2^2	320,287
(C₂²xDic₅).₁₁C₂² = C₁₀.(C₄:Q₈)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).11C2^2	320,288
(C₂²xDic₅).₁₂C₂² = (C₂²xC₄).D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).12C2^2	320,289
(C₂²xDic₅).₁₃C₂² = C₂².₅₈(D₄xD₅)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).13C2^2	320,291
(C₂²xDic₅).₁₄C₂² = (C₂xC₄):₉D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).14C2^2	320,292
(C₂²xDic₅).₁₅C₂² = D₁₀:₂(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).15C2^2	320,294
(C₂²xDic₅).₁₆C₂² = D₁₀:₃(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).16C2^2	320,295
(C₂²xDic₅).₁₇C₂² = C₁₀.₅₄(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).17C2^2	320,296
(C₂²xDic₅).₁₈C₂² = (C₂xC₂₀):₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).18C2^2	320,298
(C₂²xDic₅).₁₉C₂² = (C₂xDic₅):₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).19C2^2	320,299
(C₂²xDic₅).₂₀C₂² = (C₂xC₄).₂₀D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).20C2^2	320,300
(C₂²xDic₅).₂₁C₂² = (C₂xC₄).₂₁D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).21C2^2	320,301
(C₂²xDic₅).₂₂C₂² = C₁₀.(C₄:D₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).22C2^2	320,302
(C₂²xDic₅).₂₃C₂² = (C₂²xD₅).Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).23C2^2	320,303
(C₂²xDic₅).₂₄C₂² = (C₂xC₂₀).₃₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).24C2^2	320,304
(C₂²xDic₅).₂₅C₂² = C₂³:C₄:₅D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5).25C2^2	320,367
(C₂²xDic₅).₂₆C₂² = C₂₀:₇(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).26C2^2	320,555
(C₂²xDic₅).₂₇C₂² = (C₂xC₂₀):₁₀Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).27C2^2	320,556
(C₂²xDic₅).₂₈C₂² = C₁₀.₉₂(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).28C2^2	320,560
(C₂²xDic₅).₂₉C₂² = C₄²:₈Dic₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).29C2^2	320,562
(C₂²xDic₅).₃₀C₂² = C₄²:₉Dic₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).30C2^2	320,563
(C₂²xDic₅).₃₁C₂² = C₄²:₅Dic₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).31C2^2	320,564
(C₂²xDic₅).₃₂C₂² = (C₂xC₄):₆D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).32C2^2	320,566
(C₂²xDic₅).₃₃C₂² = (C₂xC₄²):D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).33C2^2	320,567
(C₂²xDic₅).₃₄C₂² = C₂⁴.₄₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).34C2^2	320,569
(C₂²xDic₅).₃₅C₂² = C₂⁴.₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).35C2^2	320,571
(C₂²xDic₅).₃₆C₂² = C₂⁴.₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).36C2^2	320,572
(C₂²xDic₅).₃₇C₂² = C₂⁴.₄₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).37C2^2	320,573
(C₂²xDic₅).₃₈C₂² = C₂³:Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).38C2^2	320,574
(C₂²xDic₅).₃₉C₂² = C₂⁴.₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).39C2^2	320,575
(C₂²xDic₅).₄₀C₂² = C₂⁴.₇D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).40C2^2	320,576
(C₂²xDic₅).₄₁C₂² = C₂⁴.₉D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).41C2^2	320,579
(C₂²xDic₅).₄₂C₂² = C₂³.₁₄D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).42C2^2	320,580
(C₂²xDic₅).₄₃C₂² = C₂⁴.₁₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).43C2^2	320,583
(C₂²xDic₅).₄₄C₂² = C₂⁴.₁₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).44C2^2	320,584
(C₂²xDic₅).₄₅C₂² = C₂⁴.₁₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).45C2^2	320,586
(C₂²xDic₅).₄₆C₂² = C₂³:₂D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).46C2^2	320,587
(C₂²xDic₅).₄₇C₂² = C₂⁴.₁₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).47C2^2	320,588
(C₂²xDic₅).₄₈C₂² = C₁₀.₉₆(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).48C2^2	320,599
(C₂²xDic₅).₄₉C₂² = C₂₀:₄(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).49C2^2	320,600
(C₂²xDic₅).₅₀C₂² = (C₂xDic₅):₆Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).50C2^2	320,601
(C₂²xDic₅).₅₁C₂² = C₁₀.₉₇(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).51C2^2	320,605
(C₂²xDic₅).₅₂C₂² = (C₂xC₄):Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).52C2^2	320,606
(C₂²xDic₅).₅₃C₂² = (C₂xC₂₀).₂₈₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).53C2^2	320,607
(C₂²xDic₅).₅₄C₂² = (C₂xC₂₀).₂₈₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).54C2^2	320,609
(C₂²xDic₅).₅₅C₂² = (C₂xC₂₀).₅₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).55C2^2	320,610
(C₂²xDic₅).₅₆C₂² = (C₂xC₂₀).₅₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).56C2^2	320,611
(C₂²xDic₅).₅₇C₂² = (C₂xC₂₀).₅₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).57C2^2	320,613
(C₂²xDic₅).₅₈C₂² = D₁₀:₄(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).58C2^2	320,614
(C₂²xDic₅).₅₉C₂² = D₁₀:₅(C₄:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).59C2^2	320,616
(C₂²xDic₅).₆₀C₂² = (C₂xC₄):₃D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).60C2^2	320,618
(C₂²xDic₅).₆₁C₂² = (C₂xC₂₀).₂₈₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).61C2^2	320,619
(C₂²xDic₅).₆₂C₂² = (C₂xC₂₀).₂₉₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).62C2^2	320,620
(C₂²xDic₅).₆₃C₂² = (C₂xC₂₀).₅₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).63C2^2	320,621
(C₂²xDic₅).₆₄C₂² = C₂⁴.₆₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).64C2^2	320,837
(C₂²xDic₅).₆₅C₂² = C₂⁴.₆₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).65C2^2	320,838
(C₂²xDic₅).₆₆C₂² = C₂⁴.₆₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).66C2^2	320,839
(C₂²xDic₅).₆₇C₂² = C₂⁴.₆₅D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).67C2^2	320,840
(C₂²xDic₅).₆₈C₂² = C₂⁴.₂₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).68C2^2	320,849
(C₂²xDic₅).₆₉C₂² = C₂⁴.₂₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).69C2^2	320,850
(C₂²xDic₅).₇₀C₂² = C₁₀.C₂²wrC₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).70C2^2	320,856
(C₂²xDic₅).₇₁C₂² = (C₂²xD₅):Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).71C2^2	320,858
(C₂²xDic₅).₇₂C₂² = C₂xC₂₀:₂Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).72C2^2	320,1140
(C₂²xDic₅).₇₃C₂² = C₂xC₂₀.₆Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	320		(C2^2xDic5).73C2^2	320,1141
(C₂²xDic₅).₇₄C₂² = C₂xC₄.D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).74C2^2	320,1148
(C₂²xDic₅).₇₅C₂² = C₂xC₄²:₂D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).75C2^2	320,1150
(C₂²xDic₅).₇₆C₂² = C₂³:₂Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).76C2^2	320,1155
(C₂²xDic₅).₇₇C₂² = C₂xD₁₀:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).77C2^2	320,1161
(C₂²xDic₅).₇₈C₂² = C₂⁴.₂₇D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).78C2^2	320,1162
(C₂²xDic₅).₇₉C₂² = C₂xDic₅.₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).79C2^2	320,1163
(C₂²xDic₅).₈₀C₂² = C₂⁴.₃₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).80C2^2	320,1167
(C₂²xDic₅).₈₁C₂² = C₂xD₁₀:Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).81C2^2	320,1180
(C₂²xDic₅).₈₂C₂² = C₂xD₁₀:₂Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).82C2^2	320,1181
(C₂²xDic₅).₈₃C₂² = C₂xC₄:C₄:D₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).83C2^2	320,1184
(C₂²xDic₅).₈₄C₂² = C₄².₈₇D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).84C2^2	320,1188
(C₂²xDic₅).₈₅C₂² = C₄².₉₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).85C2^2	320,1191
(C₂²xDic₅).₈₆C₂² = C₄².₉₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).86C2^2	320,1195
(C₂²xDic₅).₈₇C₂² = C₄².₉₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).87C2^2	320,1198
(C₂²xDic₅).₈₈C₂² = C₄²:₁₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).88C2^2	320,1199
(C₂²xDic₅).₈₉C₂² = C₄².₉₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).89C2^2	320,1203
(C₂²xDic₅).₉₀C₂² = D₄xDic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).90C2^2	320,1209
(C₂²xDic₅).₉₁C₂² = D₄:₅Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).91C2^2	320,1211
(C₂²xDic₅).₉₂C₂² = C₄².₁₀₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).92C2^2	320,1212
(C₂²xDic₅).₉₃C₂² = C₄².₁₀₅D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).93C2^2	320,1213
(C₂²xDic₅).₉₄C₂² = D₄:₆Dic₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).94C2^2	320,1215
(C₂²xDic₅).₉₅C₂² = C₄².₁₀₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).95C2^2	320,1218
(C₂²xDic₅).₉₆C₂² = Dic₁₀:₂₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).96C2^2	320,1224
(C₂²xDic₅).₉₇C₂² = D₄:₆D₂₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).97C2^2	320,1227
(C₂²xDic₅).₉₈C₂² = C₄²:₁₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).98C2^2	320,1228
(C₂²xDic₅).₉₉C₂² = C₄²:₁₇D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).99C2^2	320,1232
(C₂²xDic₅).₁₀₀C₂² = C₄².₁₁₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).100C2^2	320,1236
(C₂²xDic₅).₁₀₁C₂² = C₄².₁₁₉D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).101C2^2	320,1237
(C₂²xDic₅).₁₀₂C₂² = C₁₀.₆₈2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).102C2^2	320,1269
(C₂²xDic₅).₁₀₃C₂² = Dic₁₀:₁₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).103C2^2	320,1270
(C₂²xDic₅).₁₀₄C₂² = Dic₁₀:₂₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).104C2^2	320,1271
(C₂²xDic₅).₁₀₅C₂² = C₄:C₄.₁₇₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).105C2^2	320,1272
(C₂²xDic₅).₁₀₆C₂² = C₁₀.₃₄2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).106C2^2	320,1273
(C₂²xDic₅).₁₀₇C₂² = C₁₀.₃₅2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).107C2^2	320,1274
(C₂²xDic₅).₁₀₈C₂² = C₁₀.₃₆2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).108C2^2	320,1275
(C₂²xDic₅).₁₀₉C₂² = C₁₀.₃₉2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).109C2^2	320,1280
(C₂²xDic₅).₁₁₀C₂² = C₁₀.₇₃2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).110C2^2	320,1283
(C₂²xDic₅).₁₁₁C₂² = C₁₀.₄₃2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).111C2^2	320,1286
(C₂²xDic₅).₁₁₂C₂² = C₁₀.₄₄2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).112C2^2	320,1287
(C₂²xDic₅).₁₁₃C₂² = C₁₀.₄₅2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).113C2^2	320,1288
(C₂²xDic₅).₁₁₄C₂² = C₁₀.₁₁₅2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).114C2^2	320,1290
(C₂²xDic₅).₁₁₅C₂² = C₁₀.₄₇2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).115C2^2	320,1291
(C₂²xDic₅).₁₁₆C₂² = C₁₀.₇₄2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).116C2^2	320,1293
(C₂²xDic₅).₁₁₇C₂² = C₁₀.₅₀2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).117C2^2	320,1295
(C₂²xDic₅).₁₁₈C₂² = Dic₁₀:₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).118C2^2	320,1304
(C₂²xDic₅).₁₁₉C₂² = C₁₀.₅₁2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).119C2^2	320,1306
(C₂²xDic₅).₁₂₀C₂² = C₁₀.₁₁₈2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).120C2^2	320,1307
(C₂²xDic₅).₁₂₁C₂² = C₁₀.₅₂2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).121C2^2	320,1308
(C₂²xDic₅).₁₂₂C₂² = C₁₀.₅₃2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).122C2^2	320,1309
(C₂²xDic₅).₁₂₃C₂² = C₁₀.₇₇2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).123C2^2	320,1314
(C₂²xDic₅).₁₂₄C₂² = C₁₀.₅₆2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).124C2^2	320,1316
(C₂²xDic₅).₁₂₅C₂² = C₁₀.₅₇2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).125C2^2	320,1317
(C₂²xDic₅).₁₂₆C₂² = C₁₀.₇₉2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).126C2^2	320,1320
(C₂²xDic₅).₁₂₇C₂² = C₁₀.₈₀2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).127C2^2	320,1322
(C₂²xDic₅).₁₂₈C₂² = C₁₀.₈₁2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).128C2^2	320,1323
(C₂²xDic₅).₁₂₉C₂² = C₁₀.₈₂2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).129C2^2	320,1327
(C₂²xDic₅).₁₃₀C₂² = C₁₀.₆₃2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).130C2^2	320,1332
(C₂²xDic₅).₁₃₁C₂² = C₁₀.₆₄2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).131C2^2	320,1333
(C₂²xDic₅).₁₃₂C₂² = C₁₀.₈₄2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).132C2^2	320,1334
(C₂²xDic₅).₁₃₃C₂² = C₁₀.₆₆2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).133C2^2	320,1335
(C₂²xDic₅).₁₃₄C₂² = C₁₀.₆₇2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).134C2^2	320,1336
(C₂²xDic₅).₁₃₅C₂² = C₁₀.₈₅2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).135C2^2	320,1337
(C₂²xDic₅).₁₃₆C₂² = C₁₀.₆₉2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).136C2^2	320,1339
(C₂²xDic₅).₁₃₇C₂² = C₄².₂₃₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).137C2^2	320,1340
(C₂²xDic₅).₁₃₈C₂² = C₄².₁₃₇D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).138C2^2	320,1341
(C₂²xDic₅).₁₃₉C₂² = C₄².₁₃₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).139C2^2	320,1342
(C₂²xDic₅).₁₄₀C₂² = C₄².₁₃₉D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).140C2^2	320,1343
(C₂²xDic₅).₁₄₁C₂² = C₄².₁₄₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).141C2^2	320,1344
(C₂²xDic₅).₁₄₂C₂² = C₄².₁₄₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).142C2^2	320,1347
(C₂²xDic₅).₁₄₃C₂² = Dic₁₀:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).143C2^2	320,1349
(C₂²xDic₅).₁₄₄C₂² = C₄².₂₃₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).144C2^2	320,1352
(C₂²xDic₅).₁₄₅C₂² = C₄².₁₄₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).145C2^2	320,1353
(C₂²xDic₅).₁₄₆C₂² = C₄².₁₄₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).146C2^2	320,1354
(C₂²xDic₅).₁₄₇C₂² = C₄².₁₄₅D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).147C2^2	320,1356
(C₂²xDic₅).₁₄₈C₂² = C₄².₁₅₉D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).148C2^2	320,1373
(C₂²xDic₅).₁₄₉C₂² = C₄².₁₆₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).149C2^2	320,1374
(C₂²xDic₅).₁₅₀C₂² = C₄².₁₈₉D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).150C2^2	320,1378
(C₂²xDic₅).₁₅₁C₂² = C₄².₁₆₁D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).151C2^2	320,1379
(C₂²xDic₅).₁₅₂C₂² = C₄².₁₆₂D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).152C2^2	320,1380
(C₂²xDic₅).₁₅₃C₂² = C₄².₁₆₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).153C2^2	320,1381
(C₂²xDic₅).₁₅₄C₂² = C₄².₁₆₄D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).154C2^2	320,1382
(C₂²xDic₅).₁₅₅C₂² = C₄².₁₆₅D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).155C2^2	320,1384
(C₂²xDic₅).₁₅₆C₂² = C₄².₁₆₆D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).156C2^2	320,1385
(C₂²xDic₅).₁₅₇C₂² = C₄².₂₃₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).157C2^2	320,1388
(C₂²xDic₅).₁₅₈C₂² = Dic₁₀:₁₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).158C2^2	320,1390
(C₂²xDic₅).₁₅₉C₂² = C₄².₁₆₈D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).159C2^2	320,1391
(C₂²xDic₅).₁₆₀C₂² = C₂xC₂₀.₄₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).160C2^2	320,1456
(C₂²xDic₅).₁₆₁C₂² = C₂xC₂³.₂₃D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).161C2^2	320,1461
(C₂²xDic₅).₁₆₂C₂² = C₂xC₂₀:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).162C2^2	320,1462
(C₂²xDic₅).₁₆₃C₂² = C₂xC₂₀:₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).163C2^2	320,1472
(C₂²xDic₅).₁₆₄C₂² = C₂xD₁₀:₃Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).164C2^2	320,1485
(C₂²xDic₅).₁₆₅C₂² = C₁₀.₁₀₄2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).165C2^2	320,1496
(C₂²xDic₅).₁₆₆C₂² = C₁₀.₁₀₅2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).166C2^2	320,1497
(C₂²xDic₅).₁₆₇C₂² = C₁₀.₁₀₆2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).167C2^2	320,1499
(C₂²xDic₅).₁₆₈C₂² = C₁₀.₁₄₇2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).168C2^2	320,1505
(C₂²xDic₅).₁₆₉C₂² = C₂xD₄.₁₀D₁₀	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).169C2^2	320,1620
(C₂²xDic₅).₁₇₀C₂² = C₂²:C₄.F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5).170C2^2	320,205
(C₂²xDic₅).₁₇₁C₂² = (C₂xC₂₀):₁C₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).171C2^2	320,251
(C₂²xDic₅).₁₇₂C₂² = (C₂²xC₄).F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).172C2^2	320,252
(C₂²xDic₅).₁₇₃C₂² = C₅:(C₂³:C₈)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).173C2^2	320,253
(C₂²xDic₅).₁₇₄C₂² = C₂².F₅:C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).174C2^2	320,257
(C₂²xDic₅).₁₇₅C₂² = C₂⁴.F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).175C2^2	320,271
(C₂²xDic₅).₁₇₆C₂² = Dic₅.C₄²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).176C2^2	320,1029
(C₂²xDic₅).₁₇₇C₂² = C₅:C₈:₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).177C2^2	320,1030
(C₂²xDic₅).₁₇₈C₂² = C₅:C₈:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).178C2^2	320,1031
(C₂²xDic₅).₁₇₉C₂² = D₁₀:M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).179C2^2	320,1032
(C₂²xDic₅).₁₈₀C₂² = Dic₅:M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).180C2^2	320,1033
(C₂²xDic₅).₁₈₁C₂² = C₂₀:C₈:C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).181C2^2	320,1034
(C₂²xDic₅).₁₈₂C₂² = C₂³.(C₂xF₅)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).182C2^2	320,1035
(C₂²xDic₅).₁₈₃C₂² = C₂xDic₅.D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).183C2^2	320,1098
(C₂²xDic₅).₁₈₄C₂² = D₄xC₅:C₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).184C2^2	320,1110
(C₂²xDic₅).₁₈₅C₂² = C₅:C₈:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).185C2^2	320,1111
(C₂²xDic₅).₁₈₆C₂² = C₂₀:₂M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).186C2^2	320,1112
(C₂²xDic₅).₁₈₇C₂² = (C₂xD₄).₇F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).187C2^2	320,1113
(C₂²xDic₅).₁₈₈C₂² = (C₂xD₄).₈F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).188C2^2	320,1114
(C₂²xDic₅).₁₈₉C₂² = (C₂xD₄).₉F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5).189C2^2	320,1115
(C₂²xDic₅).₁₉₀C₂² = C₂xC₂³.F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80		(C2^2xDic5).190C2^2	320,1137
(C₂²xDic₅).₁₉₁C₂² = C₂xD₄.F₅	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	160		(C2^2xDic5).191C2^2	320,1593
(C₂²xDic₅).₁₉₂C₂² = Dic₅.C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xDic₅	80	8-	(C2^2xDic5).192C2^2	320,1594
(C₂²xDic₅).₁₉₃C₂² = Dic₅.₁₅C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).193C2^2	320,275
(C₂²xDic₅).₁₉₄C₂² = Dic₅:₂C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).194C2^2	320,276
(C₂²xDic₅).₁₉₅C₂² = C₅:₂(C₄²:₅C₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).195C2^2	320,278
(C₂²xDic₅).₁₉₆C₂² = C₁₀.₅₁(C₄xD₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).196C2^2	320,279
(C₂²xDic₅).₁₉₇C₂² = C₁₀.₅₂(C₄xD₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).197C2^2	320,282
(C₂²xDic₅).₁₉₈C₂² = D₅xC₂.C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).198C2^2	320,290
(C₂²xDic₅).₁₉₉C₂² = D₁₀:₂C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).199C2^2	320,293
(C₂²xDic₅).₂₀₀C₂² = C₁₀.₅₅(C₄xD₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).200C2^2	320,297
(C₂²xDic₅).₂₀₁C₂² = C₄xC₁₀.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).201C2^2	320,558
(C₂²xDic₅).₂₀₂C₂² = C₄²:₄Dic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).202C2^2	320,559
(C₂²xDic₅).₂₀₃C₂² = C₄xC₄:Dic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).203C2^2	320,561
(C₂²xDic₅).₂₀₄C₂² = C₄xD₁₀:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).204C2^2	320,565
(C₂²xDic₅).₂₀₅C₂² = C₂²:C₄xDic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).205C2^2	320,568
(C₂²xDic₅).₂₀₆C₂² = C₂³.₄₂D₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).206C2^2	320,570
(C₂²xDic₅).₂₀₇C₂² = C₂⁴.₄₇D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).207C2^2	320,577
(C₂²xDic₅).₂₀₈C₂² = C₂⁴.₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).208C2^2	320,578
(C₂²xDic₅).₂₀₉C₂² = C₂³.₄₅D₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).209C2^2	320,585
(C₂²xDic₅).₂₁₀C₂² = C₄:C₄xDic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).210C2^2	320,602
(C₂²xDic₅).₂₁₁C₂² = C₂₀:₅(C₄:C₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).211C2^2	320,603
(C₂²xDic₅).₂₁₂C₂² = C₂₀.₄₈(C₄:C₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).212C2^2	320,604
(C₂²xDic₅).₂₁₃C₂² = C₄:C₄:₅Dic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).213C2^2	320,608
(C₂²xDic₅).₂₁₄C₂² = C₂₀:₆(C₄:C₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).214C2^2	320,612
(C₂²xDic₅).₂₁₅C₂² = (C₂xD₂₀):₂₂C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).215C2^2	320,615
(C₂²xDic₅).₂₁₆C₂² = C₁₀.₉₀(C₄xD₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).216C2^2	320,617
(C₂²xDic₅).₂₁₇C₂² = C₂xC₁₀.₁₀C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).217C2^2	320,835
(C₂²xDic₅).₂₁₈C₂² = C₄xC₂³.D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).218C2^2	320,836
(C₂²xDic₅).₂₁₉C₂² = C₂⁴.₁₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).219C2^2	320,847
(C₂²xDic₅).₂₂₀C₂² = C₂⁴.₁₉D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).220C2^2	320,848
(C₂²xDic₅).₂₂₁C₂² = (Q₈xC₁₀):₁₇C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).221C2^2	320,857
(C₂²xDic₅).₂₂₂C₂² = C₂xC₄xDic₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).222C2^2	320,1139
(C₂²xDic₅).₂₂₃C₂² = C₂xC₄²:D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).223C2^2	320,1144
(C₂²xDic₅).₂₂₄C₂² = C₂xC₄xD₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).224C2^2	320,1145
(C₂²xDic₅).₂₂₅C₂² = C₂xDic₅.₁₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).225C2^2	320,1153
(C₂²xDic₅).₂₂₆C₂² = C₂xC₂³.D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).226C2^2	320,1154
(C₂²xDic₅).₂₂₇C₂² = C₂xD₁₀.₁₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).227C2^2	320,1160
(C₂²xDic₅).₂₂₈C₂² = C₂xDic₅:₃Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).228C2^2	320,1168
(C₂²xDic₅).₂₂₉C₂² = C₂xC₂₀:Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).229C2^2	320,1169
(C₂²xDic₅).₂₃₀C₂² = C₂xDic₅.Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).230C2^2	320,1170
(C₂²xDic₅).₂₃₁C₂² = C₂xC₄.Dic₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).231C2^2	320,1171
(C₂²xDic₅).₂₃₂C₂² = C₂xD₅xC₄:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).232C2^2	320,1173
(C₂²xDic₅).₂₃₃C₂² = C₂xC₄:C₄:₇D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).233C2^2	320,1174
(C₂²xDic₅).₂₃₄C₂² = C₂xD₂₀:₈C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).234C2^2	320,1175
(C₂²xDic₅).₂₃₅C₂² = C₂xD₁₀.₁₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).235C2^2	320,1177
(C₂²xDic₅).₂₃₆C₂² = C₂xC₄:D₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).236C2^2	320,1178
(C₂²xDic₅).₂₃₇C₂² = C₄².₈₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).237C2^2	320,1189
(C₂²xDic₅).₂₃₈C₂² = D₅xC₄²:C₂	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).238C2^2	320,1192
(C₂²xDic₅).₂₃₉C₂² = C₄².₁₈₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).239C2^2	320,1194
(C₂²xDic₅).₂₄₀C₂² = C₄²:₈D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).240C2^2	320,1196
(C₂²xDic₅).₂₄₁C₂² = C₄xD₄:₂D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).241C2^2	320,1208
(C₂²xDic₅).₂₄₂C₂² = C₄².₁₀₂D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).242C2^2	320,1210
(C₂²xDic₅).₂₄₃C₂² = C₄²:₁₂D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).243C2^2	320,1219
(C₂²xDic₅).₂₄₄C₂² = C₂₀:(C₄oD₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).244C2^2	320,1268
(C₂²xDic₅).₂₄₅C₂² = (Q₈xDic₅):C₂	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).245C2^2	320,1294
(C₂²xDic₅).₂₄₆C₂² = C₂²:Q₈:₂₅D₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).246C2^2	320,1296
(C₂²xDic₅).₂₄₇C₂² = D₅xC₂²:Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).247C2^2	320,1298
(C₂²xDic₅).₂₄₈C₂² = C₄:C₄:₂₆D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).248C2^2	320,1299
(C₂²xDic₅).₂₄₉C₂² = C₄:C₄.₁₉₇D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).249C2^2	320,1321
(C₂²xDic₅).₂₅₀C₂² = C₂²xC₁₀.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).250C2^2	320,1455
(C₂²xDic₅).₂₅₁C₂² = C₂²xC₄:Dic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).251C2^2	320,1457
(C₂²xDic₅).₂₅₂C₂² = C₂xC₂³.₂₁D₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).252C2^2	320,1458
(C₂²xDic₅).₂₅₃C₂² = C₂xC₄xC₅:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).253C2^2	320,1460
(C₂²xDic₅).₂₅₄C₂² = C₂xC₂₀.₁₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).254C2^2	320,1469
(C₂²xDic₅).₂₅₅C₂² = C₂xC₂₀:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).255C2^2	320,1475
(C₂²xDic₅).₂₅₆C₂² = C₂xDic₅:Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).256C2^2	320,1482
(C₂²xDic₅).₂₅₇C₂² = C₂xC₂₀.₂₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).257C2^2	320,1486
(C₂²xDic₅).₂₅₈C₂² = C₄oD₄xDic₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).258C2^2	320,1498
(C₂²xDic₅).₂₅₉C₂² = (C₂xC₂₀):₁₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).259C2^2	320,1500
(C₂²xDic₅).₂₆₀C₂² = (C₂xC₂₀):₁₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).260C2^2	320,1504
(C₂²xDic₅).₂₆₁C₂² = C₂³xDic₁₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).261C2^2	320,1608
(C₂²xDic₅).₂₆₂C₂² = C₂²xC₄oD₂₀	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).262C2^2	320,1611
(C₂²xDic₅).₂₆₃C₂² = C₂²xQ₈xD₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).263C2^2	320,1615
(C₂²xDic₅).₂₆₄C₂² = C₁₀.(C₄:C₈)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).264C2^2	320,256
(C₂²xDic₅).₂₆₅C₂² = C₂xC₄xC₅:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).265C2^2	320,1084
(C₂²xDic₅).₂₆₆C₂² = C₂xC₂₀:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).266C2^2	320,1085
(C₂²xDic₅).₂₆₇C₂² = Dic₅.₁₂M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).267C2^2	320,1086
(C₂²xDic₅).₂₆₈C₂² = C₂xC₁₀.C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).268C2^2	320,1087
(C₂²xDic₅).₂₆₉C₂² = C₄xC₂².F₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).269C2^2	320,1088
(C₂²xDic₅).₂₇₀C₂² = C₂xD₁₀:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).270C2^2	320,1089
(C₂²xDic₅).₂₇₁C₂² = C₂xDic₅:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).271C2^2	320,1090
(C₂²xDic₅).₂₇₂C₂² = D₁₀.₁₁M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).272C2^2	320,1091
(C₂²xDic₅).₂₇₃C₂² = C₂₀.₃₄M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).273C2^2	320,1092
(C₂²xDic₅).₂₇₄C₂² = D₁₀:₉M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).274C2^2	320,1093
(C₂²xDic₅).₂₇₅C₂² = D₁₀:₁₀M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).275C2^2	320,1094
(C₂²xDic₅).₂₇₆C₂² = Dic₅.₁₃M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).276C2^2	320,1095
(C₂²xDic₅).₂₇₇C₂² = C₂₀:₈M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).277C2^2	320,1096
(C₂²xDic₅).₂₇₈C₂² = C₂₀.₃₀M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).278C2^2	320,1097
(C₂²xDic₅).₂₇₉C₂² = C₂xC₂³.₂F₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).279C2^2	320,1135
(C₂²xDic₅).₂₈₀C₂² = C₂⁴.₄F₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).280C2^2	320,1136
(C₂²xDic₅).₂₈₁C₂² = C₂²xD₅:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).281C2^2	320,1587
(C₂²xDic₅).₂₈₂C₂² = C₂²xC₄.F₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).282C2^2	320,1588
(C₂²xDic₅).₂₈₃C₂² = C₂xD₅:M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	80		(C2^2xDic5).283C2^2	320,1589
(C₂²xDic₅).₂₈₄C₂² = C₂³xC₅:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	320		(C2^2xDic5).284C2^2	320,1605
(C₂²xDic₅).₂₈₅C₂² = C₂²xC₂².F₅	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xDic₅	160		(C2^2xDic5).285C2^2	320,1606
(C₂²xDic₅).₂₈₆C₂² = C₄²xDic₅	φ: trivial image	320		(C2^2xDic5).286C2^2	320,557
(C₂²xDic₅).₂₈₇C₂² = D₅xC₂xC₄²	φ: trivial image	160		(C2^2xDic5).287C2^2	320,1143
(C₂²xDic₅).₂₈₈C₂² = C₂xC₂³.₁₁D₁₀	φ: trivial image	160		(C2^2xDic5).288C2^2	320,1152
(C₂²xDic₅).₂₈₉C₂² = C₂²xC₄xDic₅	φ: trivial image	320		(C2^2xDic5).289C2^2	320,1454
(C₂²xDic₅).₂₉₀C₂² = C₂xQ₈xDic₅	φ: trivial image	320		(C2^2xDic5).290C2^2	320,1483
(C₂²xDic₅).₂₉₁C₂² = C₂²xQ₈:₂D₅	φ: trivial image	160		(C2^2xDic5).291C2^2	320,1616

Extensions 1→N→G→Q→1 with N=C22xDic5 and Q=C22

Extensions 1→N→G→Q→1 with N=C₂²xDic₅ and Q=C₂²